| emsoft | participants

Bineet Ghosh

EMSOFT 2025: 25th International Conference on Embedded Software

A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems

Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, and Sumana Ghosh

EMSOFT 2022: 22nd International Conference on Embedded Software

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, and Samarjit Chakraborty

EMSOFT 2019: 19th International Conference on Embedded Software

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems

Bineet Ghosh and Parasara Sridhar Duggirala